The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
نویسنده
چکیده
In [32, Appendix] we have shown that the system which implements the Subject-oriented approach to Business Process Modeling (S-BPM) has a precise semantical foundation in terms of Abstract State Machines (ASMs). The construction of an ASM model for the basic SBPM concepts revealed a strong relation between S-BPM and the ASM method for software design and analysis. In this paper we investigate this relation more closely. We use the analysis to evaluate S-BPM as an approach to business process modeling and to suggest some challenging practical extension of the S-BPM system.
منابع مشابه
Method integration: An approach to develop agent oriented methodologies
Agent oriented software engineering (AOSE) is an emerging field in computer science and proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. Despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. According to the defects resulted from weaknesses ...
متن کاملChapter 6 ASM
6.1 Overview of the ASM The Abstract State Machine (ASM) method is a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. Within a single precise yet simple conceptual framework, the ASM method supports and uniformly integrates the major software life cycle activities of the develo...
متن کاملMistake Proofing Cam Mechanism Through Six-sigma Process: Case Study on Clothes Printing Machines
Controlling the occurrence of defects is a major challenge for manufacturing organizations that are seeking to enhance their competitive position in today’s global market. This paper considers the process of screen-printing T-shirts using hydraulic and pneumatic printing machines. Several defects in the output of this printing process have been observed, especially with multi colors printing as...
متن کاملUsing Abstract State Machines to Model a Graphical User Interface System
A graphical user interface (GUI) system is a visual tool for users to operate computer applications. In the software engineering world, verifying that the functions of a GUI system satisfy the perspective of users is one important goal. System modeling provides an opportunity to verify the functionality of the system before implementing it. In this thesis, we model the GUI system of the CoreASM...
متن کاملA Meta-study of Architectural Design Processes in Post-disaster Housing Reconstruction in Iran
Background and objective Despite conducting numerous studies in the two areas of “architectural design process” and “post-disaster housing reconstruction” in recent years in Iran, limited studies have been conducted for the meta-study of these two areas. Therefore, to redefine the “post-disaster housing reconstruction” and strengthen the common theoretical foundations, the current study aims to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012